Skip to content

Add a pre-commit hook and CI workflow#102

Merged
MakisH merged 3 commits into
developfrom
pre-commit
May 26, 2026
Merged

Add a pre-commit hook and CI workflow#102
MakisH merged 3 commits into
developfrom
pre-commit

Conversation

@MakisH

@MakisH MakisH commented May 26, 2026

Copy link
Copy Markdown
Member

No description provided.

@MakisH MakisH merged commit 516d4d6 into develop May 26, 2026
2 checks passed
@MakisH MakisH deleted the pre-commit branch May 26, 2026 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant